xc_mmu_t *mmu = NULL;
int rc;
- unsigned long nr_pt_pages;
-
struct domain_setup_info dsi;
- unsigned long vpt_start;
- unsigned long vpt_end;
unsigned long v_end;
unsigned long shared_page_frame = 0;
/* memsize is in megabytes */
v_end = (unsigned long)memsize << 20;
-#ifdef __i386__
- nr_pt_pages = 1 + ((memsize + 3) >> 2);
-#else
- nr_pt_pages = 5 + ((memsize + 1) >> 1);
-#endif
- vpt_start = v_end;
- vpt_end = vpt_start + (nr_pt_pages * PAGE_SIZE);
-
printf("VIRTUAL MEMORY ARRANGEMENT:\n"
" Loaded HVM loader: %08lx->%08lx\n"
- " Page tables: %08lx->%08lx\n"
" TOTAL: %08lx->%08lx\n",
dsi.v_kernstart, dsi.v_kernend,
- vpt_start, vpt_end,
dsi.v_start, v_end);
printf(" ENTRY ADDRESS: %08lx\n", dsi.v_kernentry);
def getDomainMemory(self, mem):
"""@see ImageHandler.getDomainMemory"""
page_kb = 4
+ extra_pages = 0
if os.uname()[4] == 'ia64':
page_kb = 16
- # for ioreq_t and xenstore
- static_pages = 2
- return mem + (self.getPageTableSize(mem / 1024) + static_pages) * page_kb
-
- def getPageTableSize(self, mem_mb):
- """Return the pages of memory needed for 1:1 page tables for physical
- mode.
-
- @param mem_mb: size in MB
- @return size in KB
- """
- # 1 page for the PGD + 1 pte page for 4MB of memory (rounded)
- if os.uname()[4] == 'x86_64':
- return 5 + ((mem_mb + 1) >> 1)
- elif os.uname()[4] == 'ia64':
- # 1:1 pgtable is allocated on demand ia64, so just return rom size
- # for guest firmware
- return 1024
- else:
- return 1 + ((mem_mb + 3) >> 2)
+ # ROM size for guest firmware
+ extra_pages = 1024
+ return mem + extra_pages * page_kb
def register_shutdown_watch(self):
""" add xen store watch on control/shutdown """
if ( v->vcpu_id == 0 )
d->vm_assist = c->vm_assist;
- phys_basetab = c->ctrlreg[3];
- phys_basetab =
- (gmfn_to_mfn(d, phys_basetab >> PAGE_SHIFT) << PAGE_SHIFT) |
- (phys_basetab & ~PAGE_MASK);
+ if ( !(c->flags & VGCF_HVM_GUEST) )
+ {
+ phys_basetab = c->ctrlreg[3];
+ phys_basetab =
+ (gmfn_to_mfn(d, phys_basetab >> PAGE_SHIFT) << PAGE_SHIFT) |
+ (phys_basetab & ~PAGE_MASK);
- v->arch.guest_table = mk_pagetable(phys_basetab);
+ v->arch.guest_table = mk_pagetable(phys_basetab);
+ }
if ( (rc = (int)set_gdt(v, c->gdt_frames, c->gdt_ents)) != 0 )
return rc;
if ( c->flags & VGCF_HVM_GUEST )
{
- /* HVM uses the initially provided page tables as the P2M map. */
- if ( !pagetable_get_paddr(d->arch.phys_table) )
- d->arch.phys_table = v->arch.guest_table;
v->arch.guest_table = mk_pagetable(0);
if ( !hvm_initialize_guest_resources(v) )